Pigozzi, Don: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Alfred Tarski's Work on General Metamathematics

W. J. Blok and Don Pigozzi

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 323 KB

english, 1988

2

On the structure of varieties with equationally definable principal congruences IV

W. J. Blok, Don Pigozzi

Journal:

Algebra Universalis

Year:

1994

Language:

english

File:

PDF, 1.45 MB

english, 1994

3

On the Structure of Equationally Complete Varieties. II

Journal:

Transactions of the American Mathematical Society

Year:

1981

Language:

english

File:

PDF, 2.15 MB

english, 1981

4

Universal equational theories and varieties of algebras

Journal:

Annals of Mathematical Logic

Year:

1979

Language:

english

File:

PDF, 1.43 MB

english, 1979

5

Varieties with equationally definable principal congruences

Peter Köhler, Don Pigozzi

Journal:

Algebra Universalis

Year:

1980

Language:

english

File:

PDF, 301 KB

english, 1980

6

Amalgamation, congruence-extension, and interpolation properties in algebras

Journal:

Algebra Universalis

Year:

1971

Language:

english

File:

PDF, 3.80 MB

english, 1971

7

Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties

Journal:

Transactions of the American Mathematical Society

Year:

1988

Language:

english

File:

PDF, 2.61 MB

english, 1988

8

Alfred Tarski's work on general metamathematics

Blok, W. J., Pigozzi, Don

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.12 MB

english, 1988

9

Algebraic Logic || Introduction

W. J. Blok and Don Pigozzi

Journal:

Year:

1991

Language:

english

File:

PDF, 1.36 MB

english, 1991

10

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || The abstract Galois theory: A survey

Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.

Year:

1990

Language:

english

File:

PDF, 421 KB

english, 1990

11

On the structure of equationally complete varieties. II

Journal:

Transactions of the American Mathematical Society

Year:

1981

File:

PDF, 1.98 MB

1981

12

Multi-valued logic programming semantics an algebraic approach

Bamshad Mobasher, Don Pigozzi, Giora Slutzki

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 2.39 MB

english, 1997

13

A finite basis theorem for quasivarieties

W. J. Blok, Don Pigozzi

Journal:

Algebra Universalis

Year:

1986

Language:

english

File:

PDF, 579 KB

english, 1986

14

In Memory of Willem Johannes Blok 1947-2003

Joel Berman, Wieslaw Dziobiak, Don Pigozzi, James Raftery

Journal:

Year:

2006

Language:

english

File:

PDF, 442 KB

english, 2006

15

Minimal, locally-finite varieties that are not finitely axiomatizable

Journal:

Algebra Universalis

Year:

1979

Language:

english

File:

PDF, 677 KB

english, 1979

16

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || The implications in conditional logic

Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.

Year:

1990

Language:

english

File:

PDF, 1.21 MB

english, 1990

17

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || The value of free algebras

Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.

Year:

1990

Language:

english

File:

PDF, 885 KB

english, 1990

18

Special Issue in Memory of Willem Johannes Blok || On the Closure Properties of the Class of Full G-Models of a Deductive System

Josep Maria Font, Ramon Jansana and Don Pigozzi

Journal:

Year:

2006

Language:

english

File:

PDF, 6.84 MB

english, 2006

19

Protoalgebraic Logics

W. J. Blok and Don Pigozzi

Journal:

Year:

1986

Language:

english

File:

PDF, 3.98 MB

english, 1986

20

Special Issue in Memory of Willem Johannes Blok || In Memory of Willem Johannes Blok 1947-2003

Joel Berman, Don Pigozzi, Wiesław Dziobiak and James Raftery

Journal:

Year:

2006

Language:

english

File:

PDF, 1.12 MB

english, 2006

21

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || Other logics for (equational) theories

Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.

Year:

1990

Language:

english

File:

PDF, 782 KB

english, 1990

22

The behavior-realization adjunction and generalized homomorphic relations

Gray T. Leavens, Don Pigozzi

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 2.29 MB

english, 1997

23

Class-Based and Algebraic Models of Objects

Gary T. Leavens, Don Pigozzi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.61 MB

english, 1998

24

Protoalgebraic logics

W. J. Blok, Don Pigozzi

Journal:

Year:

1986

Language:

english

File:

PDF, 2.29 MB

english, 1986

25

The abstract variable-binding calculus

Don Pigozzi, Antonino Salibra

Journal:

Year:

1995

Language:

english

File:

PDF, 3.02 MB

english, 1995

26

A complete algebraic characterization of behavioral subtyping

Gary T. Leavens, Don Pigozzi

Journal:

Acta Informatica

Year:

2000

Language:

english

File:

PDF, 321 KB

english, 2000

27

On the Closure Properties of the Class of Full G-models of a Deductive System

Josep Maria Font, Ramon Jansana, Don Pigozzi

Journal:

Year:

2006

Language:

english

File:

PDF, 2.93 MB

english, 2006

28

Data types over multiple-valued logics

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 4.23 MB

english, 1990

29

Lambda abstraction algebras: representation theorems

Don Pigozzi, Antonino Salibra

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 2.98 MB

english, 1995

30

Foreword

Josep Maria Font, Ramon Jansana, Don Pigozzi

Journal:

Year:

2000

Language:

english

File:

PDF, 117 KB

english, 2000

31

Finite groupoids without finite bases for their identities

Journal:

Algebra Universalis

Year:

1981

Language:

english

File:

PDF, 1.11 MB

english, 1981

32

Base-undecibable properties of universal varieties

Journal:

Algebra Universalis

Year:

1976

Language:

english

File:

PDF, 1.53 MB

english, 1976

33

Equality-Test and If-Then-Else Algebras: Axiomatization and Specification

Journal:

SIAM Journal on Computing

Year:

1991

Language:

english

File:

PDF, 5.21 MB

english, 1991

34

On Post Algebras with Uncountable Chain of Constants. Algebras of Homomorphisms.by T. Traczyk;Generalized Post Algebras.by Ph. Dwinger

Review by: Don Pigozzi

Journal:

Journal of Symbolic Logic

Year:

1972

File:

PDF, 373 KB

1972

35

Ideals in a Polyadic Algebraby Fred B. Wright

Review by: Don Pigozzi

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 202 KB

english, 1971

36

Singulary Cylindric and Polyadic Equality Algebras.by Donald Monk

Review by: Don Pigozzi

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 83 KB

english, 1975

37

Representations of Integral Relation Algebras.by Ralph McKenzie

Review by: Don Pigozzi

Journal:

Journal of Symbolic Logic

Year:

1974

Language:

english

File:

PDF, 219 KB

english, 1974

38

Introduction to Mathematical Logicby Hans Hermes; Diana Schmidt

Review by: Don Pigozzi

Journal:

Journal of Symbolic Logic

Year:

1980

Language:

english

File:

PDF, 103 KB

english, 1980

39

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || The resolution rule: An algebraic perspective

Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.

Year:

1990

Language:

english

File:

PDF, 1.02 MB

english, 1990

40

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic

Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.

Year:

1990

Language:

english

File:

PDF, 1.19 MB

english, 1990

41

Behavioural reasoning for conditional equations

MARTINS, MANUEL A., PIGOZZI, DON

Journal:

Mathematical Structures in Computer Science

Year:

2007

Language:

english

File:

PDF, 481 KB

english, 2007

42

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || Relatively free relation algebras

Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.

Year:

1990

Language:

english

File:

PDF, 995 KB

english, 1990

43

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || Noncommutative cylindric algebras and relativizations of cylindric algebras

Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.

Year:

1990

Language:

english

File:

PDF, 324 KB

english, 1990

44

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || Incremental models of updating data bases

Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.

Year:

1990

Language:

english

File:

PDF, 1.80 MB

english, 1990

45

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || Optimal semantics of data type extensions

Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.

Year:

1990

Language:

english

File:

PDF, 1.45 MB

english, 1990

46

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || On cylindric algebraic model theory

Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.

Year:

1990

Language:

english

File:

PDF, 2.71 MB

english, 1990

47

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || Continuations of logic programs

Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.

Year:

1990

Language:

english

File:

PDF, 639 KB

english, 1990

48

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || On the λ-definable tree operations

Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.

Year:

1990

Language:

english

File:

PDF, 911 KB

english, 1990

49

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || Dynamic algebras as a well-behaved fragment of relation algebras

Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L.

Year:

1990

Language:

english

File:

PDF, 2.51 MB

english, 1990

50

The Abstract Variable-Binding Calculus

Don Pigozzi, Antonino Salibra and Antonio Salibra

Journal:

Year:

1995

Language:

english

File:

PDF, 4.54 MB

english, 1995